| 1. | Survey of studies of inductive logic and ai in u . s . a
美国归纳逻辑与人工智能研究概况 |
| 2. | The function in scientific cognizance of traditional inductive logic
论古典归纳逻辑的科学认知功能 |
| 3. | Logic and inductive logic programming
逻辑与归纳逻辑程序设计 |
| 4. | Inductive logic programming
归纳逻辑程序设计 |
| 5. | On the application of inductive logic - comments on d . gillies ' application of probability explanation
评吉利斯关于概率解释的应用 |
| 6. | This dissertation concentrates on the initial research work in genetic inductive logic programming technique
本论文主要开展了遗传归纳逻辑程序设计技术的初步研究。 |
| 7. | It has been proved that it is impossible to establish the formal inductive logic on the basis of " inductive probability "
这证明基于归纳的概然性特征，不可能建立起形式的归纳逻辑。 |
| 8. | First - order rule mining technique based on first - order logic is often called as inductive logic programming ( ilp )
基于一阶逻辑的一阶规则挖掘技术常被称作归纳逻辑程序设计( ilp ) 。 |
| 9. | Thirdly , his theory ca n ' t solve the problem that general proposition ' s degree of confirmation is zero because his theory is restricted in the range of language . these defects leaded to the study methods of inductive logics turning to non - probability from probability , from global to local after the 1950s
由于卡尔纳普的理论是由含有限个体的语言系统扩展到含有无限个体的语言系统中，导致其理论使普遍原理的确证度为0 ，从而无法合理解释普遍原理的确证度。 |
| 10. | Carnap ' s theory has important value . firstly , carnap answered the famous question of inductive logic problem which is also called " hume problem " in philosophy history in particular way . i . e , he made the format of inductive logic into reality , though his theory had some limitations and could n ' t solve this problem completly . he also supplied the logical basis to science ' s reason
卡尔纳普的概率确证理论通过对归纳逻辑的形式化对“休谟问题”作出了有价值的回答，为科学理论的合理性提供了逻辑基础，但由于他的理论存在的缺陷，使二油已0硕士学位论文iymasdr ’ s几回s这个问题并没有得到解决。 |
